<html>
<head><meta charset="utf-8"><title>weekly meeting 2019.01.09 · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html">weekly meeting 2019.01.09</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="154754712"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154754712" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154754712">(Jan 09 2019 at 20:25)</a>:</h4>
<p>Hello <span class="user-group-mention" data-user-group-id="491">@WG-compiler-nll</span> <span class="emoji emoji-1f44b" title="wave">:wave:</span> meeting in 5 minutes</p>



<a name="154754900"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154754900" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154754900">(Jan 09 2019 at 20:28)</a>:</h4>
<p><a href="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage--ARyBXZ2oM_oH~XQdmpP76SQCAg-Em2cJrvxQMMFWLE7lE5Be" target="_blank" title="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage--ARyBXZ2oM_oH~XQdmpP76SQCAg-Em2cJrvxQMMFWLE7lE5Be">Triage document</a></p>



<a name="154755095"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755095" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755095">(Jan 09 2019 at 20:31)</a>:</h4>
<p><span class="emoji emoji-1f44b" title="wave">:wave:</span></p>



<a name="154755294"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755294" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755294">(Jan 09 2019 at 20:34)</a>:</h4>
<p><span class="user-mention" data-user-id="128294">@blitzerr</span> you could note down the closure work in the paper document ..</p>



<a name="154755332"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755332" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755332">(Jan 09 2019 at 20:34)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  will do that</p>



<a name="154755351"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755351" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755351">(Jan 09 2019 at 20:35)</a>:</h4>
<p>So probably a good idea is for us to look at nominated issues and things</p>



<a name="154755369"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755369" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755369">(Jan 09 2019 at 20:35)</a>:</h4>
<p>oh which <a href="https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+label%3AA-NLL+label%3AI-nominated" target="_blank" title="https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+label%3AA-NLL+label%3AI-nominated">there are several</a></p>



<a name="154755383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755383">(Jan 09 2019 at 20:35)</a>:</h4>
<p>Some are just nominated for close though</p>



<a name="154755386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755386">(Jan 09 2019 at 20:35)</a>:</h4>
<p>maybe we can discuss them briefly</p>



<a name="154755387"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755387" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755387">(Jan 09 2019 at 20:35)</a>:</h4>
<p>yep</p>



<a name="154755440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755440">(Jan 09 2019 at 20:36)</a>:</h4>
<p>[NLL] Bad higher ranked subtype error <a href="https://github.com/rust-lang/rust/issues/57374" target="_blank" title="https://github.com/rust-lang/rust/issues/57374">#57374</a></p>



<a name="154755454"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755454" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755454">(Jan 09 2019 at 20:36)</a>:</h4>
<p>so the error messages are ungreat for certain errors -- this will become relevant when we try to move past migration mode</p>



<a name="154755464"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755464" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755464">(Jan 09 2019 at 20:36)</a>:</h4>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span>, I'm not sure, did you do any work on this? I know you were asking some relevant questions in <a class="stream" data-stream-id="131828" href="/#narrow/stream/131828-t-compiler">#t-compiler</a> (and uncovered, iirc, some surprising behavior)</p>



<a name="154755471"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755471" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755471">(Jan 09 2019 at 20:36)</a>:</h4>
<p>not sure if you ever filed an issue on that btw</p>



<a name="154755519"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755519" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755519">(Jan 09 2019 at 20:37)</a>:</h4>
<p>in any case, I think we ought to consider this P-high and somebody ought to work on it. I could do it if needed, but would rather mentor (or maybe someone else just wants to tackle)</p>



<a name="154755520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755520">(Jan 09 2019 at 20:37)</a>:</h4>
<p>I didn't file that as an issue. I'll file one for the diagnostics issue there soon.</p>



<a name="154755573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755573">(Jan 09 2019 at 20:38)</a>:</h4>
<p>this could also be something to "farm out" to some folks in <a class="stream" data-stream-id="144729" href="/#narrow/stream/144729-wg-traits">#wg-traits</a></p>



<a name="154755579"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755579" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755579">(Jan 09 2019 at 20:38)</a>:</h4>
<p>since it's kind of overlapping</p>



<a name="154755600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755600">(Jan 09 2019 at 20:38)</a>:</h4>
<p>is it doable by "beginners" (say, me) ?</p>



<a name="154755610"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755610" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755610">(Jan 09 2019 at 20:39)</a>:</h4>
<p>probably</p>



<a name="154755630"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755630" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755630">(Jan 09 2019 at 20:39)</a>:</h4>
<p>I don't remember too many details, but I already made a "nicer" version of this error,</p>



<a name="154755634"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755634" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755634">(Jan 09 2019 at 20:39)</a>:</h4>
<p>though it has some bugs of its own</p>



<a name="154755644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755644">(Jan 09 2019 at 20:39)</a>:</h4>
<p>but for whatever reason that doesn't kick in in the NLL checker</p>



<a name="154755649"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755649" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755649">(Jan 09 2019 at 20:39)</a>:</h4>
<p>I suspect it's not too hard to make it kick in, but maybe not</p>



<a name="154755655"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755655" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755655">(Jan 09 2019 at 20:39)</a>:</h4>
<p>I was thinking that it might be a good fit for the "schedule an hour to talk it over" sort of thing</p>



<a name="154755728"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755728" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755728">(Jan 09 2019 at 20:40)</a>:</h4>
<p>I can try then (with possible help/mentoring :)</p>



<a name="154755743"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755743" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755743">(Jan 09 2019 at 20:40)</a>:</h4>
<p>ok, we can chat async about whether to schedule a session to disucss or what</p>



<a name="154755791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755791">(Jan 09 2019 at 20:41)</a>:</h4>
<p>region error messages involving impls are confusing <a href="https://github.com/rust-lang/rust/issues/52742" target="_blank" title="https://github.com/rust-lang/rust/issues/52742">#52742</a></p>



<a name="154755803"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755803" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755803">(Jan 09 2019 at 20:41)</a>:</h4>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span> nominated to discuss whether to keep open</p>



<a name="154755822"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755822" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755822">(Jan 09 2019 at 20:41)</a>:</h4>
<p>I'm inclined to thikn current output is "good enough" and we can close</p>



<a name="154755834"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755834" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755834">(Jan 09 2019 at 20:41)</a>:</h4>
<p>we can maybe do better but it doesn't seem like a burning problem</p>



<a name="154755923"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755923" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755923">(Jan 09 2019 at 20:42)</a>:</h4>
<p>NLL: missing note that "borrowed value needs to live until here" (sometimes?) <a href="https://github.com/rust-lang/rust/issues/51168" target="_blank" title="https://github.com/rust-lang/rust/issues/51168">#51168</a></p>



<a name="154755945"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154755945" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154755945">(Jan 09 2019 at 20:43)</a>:</h4>
<p>Similarly, opened to discuss whether to keep it open</p>



<a name="154756055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756055">(Jan 09 2019 at 20:44)</a>:</h4>
<p>Current output with NLL:</p>
<div class="codehilite"><pre><span></span>error[E0515]: cannot return reference to local data `x`
  --&gt; $DIR/issue-11925.rs:8:35
   |
LL |         let f = to_fn_once(move|| &amp;x); //~ ERROR does not live long enough
   |                                   ^^ returns a reference to data owned by the current function
</pre></div>


<p>Before NLL:</p>
<div class="codehilite"><pre><span></span>error[E0597]: `x` does not live long enough
  --&gt; $DIR/issue-11925.rs:8:36
   |
LL |         let f = to_fn_once(move|| &amp;x); //~ ERROR does not live long enough
   |                                    ^
   |                                    |
   |                                    borrowed value does not live long enough
   |                                    `x` dropped here while still borrowed
...
LL | }
| - borrowed value needs to live until here
</pre></div>



<a name="154756065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756065">(Jan 09 2019 at 20:44)</a>:</h4>
<p>I think I agree with <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> here too, we should close, the new output is just better.</p>



<a name="154756068"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756068" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756068">(Jan 09 2019 at 20:44)</a>:</h4>
<p>and the note wouldn't really make sense</p>



<a name="154756074"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756074" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756074">(Jan 09 2019 at 20:44)</a>:</h4>
<p>and there isn't really a way for us to report "borrowed value needs to live until here" because we don't know at the point we report.</p>



<a name="154756097"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756097" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756097">(Jan 09 2019 at 20:45)</a>:</h4>
<p>we check closures "inside out" with NLL</p>



<a name="154756131"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756131" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756131">(Jan 09 2019 at 20:45)</a>:</h4>
<p>right</p>



<a name="154756134"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756134" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756134">(Jan 09 2019 at 20:45)</a>:</h4>
<p>ok, closed</p>



<a name="154756144"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756144" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756144">(Jan 09 2019 at 20:45)</a>:</h4>
<p>#  [NLL] <a href="http://borrowed-universal-test.rs" target="_blank" title="http://borrowed-universal-test.rs">borrowed-universal-test.rs</a> output is not great <a href="https://github.com/rust-lang/rust/issues/48645" target="_blank" title="https://github.com/rust-lang/rust/issues/48645">#48645</a></p>



<a name="154756231"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756231" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756231">(Jan 09 2019 at 20:46)</a>:</h4>
<p>scroll down to the bottom, where <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> showed new output</p>



<a name="154756232"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756232" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756232">(Jan 09 2019 at 20:46)</a>:</h4>
<p>does the NLL error message need more "air"?</p>



<a name="154756270"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756270" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756270">(Jan 09 2019 at 20:47)</a>:</h4>
<p>I think this message is suffering somewhat from the "overlapping spans" problem</p>



<a name="154756285"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756285" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756285">(Jan 09 2019 at 20:47)</a>:</h4>
<p>I'm trying to remember some keywords from that issue I filed about a new approach to formatting cases like these...</p>



<a name="154756343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756343">(Jan 09 2019 at 20:48)</a>:</h4>
<p>the pre-NLL error message has the nice vertical spacing</p>



<a name="154756386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756386">(Jan 09 2019 at 20:48)</a>:</h4>
<p>The current message feels like it could be improved, but it doesn't suffer from the problems it had when we filed the issue exactly.</p>



<a name="154756408"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756408" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756408">(Jan 09 2019 at 20:49)</a>:</h4>
<p>I guess the key points to get across are kind of "we made a temporary, it will get freed, but you are returning a reference to it"</p>



<a name="154756430"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756430" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756430">(Jan 09 2019 at 20:49)</a>:</h4>
<p>if we are going to keep this open, I would prefer to update the subject line to something more specific</p>



<a name="154756510"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756510" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756510">(Jan 09 2019 at 20:50)</a>:</h4>
<p>your <a href="https://github.com/rust-lang/rust/issues/48645#issuecomment-369736203" target="_blank" title="https://github.com/rust-lang/rust/issues/48645#issuecomment-369736203">suggestion</a> does get these key points across well</p>



<a name="154756522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756522">(Jan 09 2019 at 20:50)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> yeah I just had that thought when seeing the message here; my note is just about formatting, not content</p>



<a name="154756532"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756532" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756532">(Jan 09 2019 at 20:50)</a>:</h4>
<p>the content is nice</p>



<a name="154756558"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756558" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756558">(Jan 09 2019 at 20:51)</a>:</h4>
<blockquote>
<p>I guess the key points to get across are kind of "we made a temporary, it will get freed, but you are returning a reference to it"</p>
</blockquote>
<p>I think we don't clearly indicate that it will get freed in the current error</p>



<a name="154756572"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756572" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756572">(Jan 09 2019 at 20:51)</a>:</h4>
<p>it's sort of implied by "returns a value referencing data owned by the current function", but you may not realize that data "owned by current fn" gets freed</p>



<a name="154756641"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756641" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756641">(Jan 09 2019 at 20:52)</a>:</h4>
<p>anyway, I'm of two minds about it. I could imagine closing this, for sure, and just trying to improve the formatting (which is an independent problem, but perhaps one we should try to prioritize more)</p>



<a name="154756674"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756674" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756674">(Jan 09 2019 at 20:52)</a>:</h4>
<p>we should decide and move on :) or just leave for later</p>



<a name="154756700"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756700" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756700">(Jan 09 2019 at 20:53)</a>:</h4>
<p>could it be an issue to ask for new contributors ?</p>



<a name="154756724"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756724" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756724">(Jan 09 2019 at 20:53)</a>:</h4>
<p>I'm not sure.</p>



<a name="154756783"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756783" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756783">(Jan 09 2019 at 20:54)</a>:</h4>
<p>let's leave it for now and maybe come back to it</p>



<a name="154756785"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756785" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756785">(Jan 09 2019 at 20:54)</a>:</h4>
<p>I'll put a few notes</p>



<a name="154756809"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756809" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756809">(Jan 09 2019 at 20:54)</a>:</h4>
<p>I feel it's not extremely bad but your suggestion seems better so it might be nice to keep it open</p>



<a name="154756877"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756877" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756877">(Jan 09 2019 at 20:55)</a>:</h4>
<p>let's call it P-low?</p>



<a name="154756881"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756881" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756881">(Jan 09 2019 at 20:55)</a>:</h4>
<p>ah, this is was my <a href="https://github.com/rust-lang/rust/issues/51528#issuecomment-430407437" target="_blank" title="https://github.com/rust-lang/rust/issues/51528#issuecomment-430407437">idea for an alternative approach to formatting</a></p>



<a name="154756979"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154756979" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154756979">(Jan 09 2019 at 20:56)</a>:</h4>
<p>final nominated issue:  Is an InlineAsm output a potential use that needs to activate a borrow? <a href="https://github.com/rust-lang/rust/issues/46891" target="_blank" title="https://github.com/rust-lang/rust/issues/46891">#46891</a></p>



<a name="154757009"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757009" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757009">(Jan 09 2019 at 20:56)</a>:</h4>
<p>I thnk <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> is pointed out that this issue is just out of date, right <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> ?</p>



<a name="154757031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757031">(Jan 09 2019 at 20:57)</a>:</h4>
<p>Yes, it applies to code that doesn't exist implementing a version of 2PB that we may never have.</p>



<a name="154757051"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757051" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757051">(Jan 09 2019 at 20:57)</a>:</h4>
<p>lol ok</p>



<a name="154757054"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757054" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757054">(Jan 09 2019 at 20:57)</a>:</h4>
<p>let's close :)</p>



<a name="154757061"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757061" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757061">(Jan 09 2019 at 20:57)</a>:</h4>
<p>and the code that's replaced it doesn't have this issue.</p>



<a name="154757130"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757130" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757130">(Jan 09 2019 at 20:58)</a>:</h4>
<p>well we have 2 minutes left in our scheduled time :)</p>



<a name="154757145"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757145" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757145">(Jan 09 2019 at 20:58)</a>:</h4>
<p><span class="emoji emoji-1f643" title="upside down">:upside_down:</span></p>



<a name="154757155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757155">(Jan 09 2019 at 20:58)</a>:</h4>
<p>I do wonder if we should shoot for a kind of "steering meeting" to discuss some more meta issues</p>



<a name="154757180"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757180" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757180">(Jan 09 2019 at 20:59)</a>:</h4>
<p>I feel like since NLL is shipping it's become sort of harder to stay focused, but I also feel like there remains a lot of work to do</p>



<a name="154757191"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757191" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757191">(Jan 09 2019 at 20:59)</a>:</h4>
<p>e.g., finishing the migration, polonius, plus other related features</p>



<a name="154757204"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757204" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757204">(Jan 09 2019 at 20:59)</a>:</h4>
<p>should we try to do that next week?</p>



<a name="154757206"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757206" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757206">(Jan 09 2019 at 20:59)</a>:</h4>
<p>(steering discussion?)</p>



<a name="154757208"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757208" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757208">(Jan 09 2019 at 20:59)</a>:</h4>
<p>sure</p>



<a name="154757211"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757211" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757211">(Jan 09 2019 at 21:00)</a>:</h4>
<p>maybe lengthen the meeting to 1hr?</p>



<a name="154757261"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757261" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757261">(Jan 09 2019 at 21:00)</a>:</h4>
<p>or see how far we get in 30 min</p>



<a name="154757265"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757265" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757265">(Jan 09 2019 at 21:00)</a>:</h4>
<p>Felix will be back right ?</p>



<a name="154757274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757274">(Jan 09 2019 at 21:00)</a>:</h4>
<p>I <em>think</em> so -- I would like to wait for <span class="user-mention" data-user-id="116083">@pnkfelix</span> to get back</p>



<a name="154757277"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757277" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757277">(Jan 09 2019 at 21:00)</a>:</h4>
<p>(Some food for thought: I also wonder if it makes sense to split the "NLL working group" into different working groups)</p>



<a name="154757279"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757279" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757279">(Jan 09 2019 at 21:00)</a>:</h4>
<p>I think maybe a longer meeting, and prioritize those topics</p>



<a name="154757284"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757284" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757284">(Jan 09 2019 at 21:00)</a>:</h4>
<p>sounds good, I'll leave a note in the paper so we remember :)</p>



<a name="154757305"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757305" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757305">(Jan 09 2019 at 21:01)</a>:</h4>
<p>I can also edit the calendar event</p>



<a name="154757314"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757314" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757314">(Jan 09 2019 at 21:01)</a>:</h4>
<p>thanks <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> for doing that triage</p>



<a name="154757318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757318">(Jan 09 2019 at 21:01)</a>:</h4>
<p>we should do more of it</p>



<a name="154757341"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757341" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757341">(Jan 09 2019 at 21:01)</a>:</h4>
<p>thanks <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> <span class="emoji emoji-1f44d" title="thumbs up">:thumbs_up:</span></p>



<a name="154757433"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757433" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757433">(Jan 09 2019 at 21:02)</a>:</h4>
<p>did we want/need to talk about other topics than the nominated issues ?</p>



<a name="154757446"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757446" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757446">(Jan 09 2019 at 21:03)</a>:</h4>
<p>I also looked through the P-High and NLL-sound issue for those blocking migrate on 2015. But they all seem to be assigned, so I don't think that it needs urgent discussion.</p>



<a name="154757462"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757462" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757462">(Jan 09 2019 at 21:03)</a>:</h4>
<p>Are we adjourned for today ?</p>



<a name="154757477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757477">(Jan 09 2019 at 21:03)</a>:</h4>
<p>I think so</p>



<a name="154757543"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757543" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757543">(Jan 09 2019 at 21:04)</a>:</h4>
<p>Thanks everyone</p>



<a name="154757556"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757556" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757556">(Jan 09 2019 at 21:04)</a>:</h4>
<p>(if so, have a good evening/afternoon everyone <span class="emoji emoji-1f44b" title="wave">:wave:</span> :)</p>



<a name="154757786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.09/near/154757786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E09.html#154757786">(Jan 09 2019 at 21:08)</a>:</h4>
<p>will we split to NLL frog and NLL-MIR?</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>